Section: Partnerships and Cooperations

Regional Initiatives

GT Elfic (Labex DigiCosme, 2014–2016):

“Programmes d’éléments finis formellement vérifiés”, with Toccata (Inria Saclay - Île-de-France), LIX (École Polytechnique), CEA LIST , LIPN (Université de Paris 13), and LMAC (Université de Technologie de Compiègne).